Demand-Driven Analysis of Explicitly Parallel Programs: An Approach Based on Reverse Data-Flow Analysis
نویسنده
چکیده
Demand-driven data-flow analysis (DD-DFA) has been pioneered in the field of interprocedural analysis of sequential programs to accommodate the specific needs of analysis tools like debuggers and slicers, but also to compensate for the continuous growth of programs and program complexity making static program analyses more and more intricate and time consuming. Particularly successful in practice turned out to be a DD-DFA approach based on reverse DFA. Recently, we have shown how to generalize this approach for the class of GEN/KILL-problems to explicitly parallel programs. Here, we focus on the theoretical foundation of this approach.
منابع مشابه
An Analytical Approach to the Effect of Viscous Dissipation on Shear-Driven Flow between two parallel plates with Constant Heat Flux Boundary Conditions
An investigation has been made to analyze the effects of viscous dissipation on the heat transfer characteristics for both hydro-dynamically and thermally fully developed, laminar shear driven flow between two infinitely long parallel plates, where the upper plate is moving in an axial direction at a constant speed. On the basis of some routine assumptions made in the literature, a close form a...
متن کاملDemand-Driven Data Flow Analysis for Communication Optimization
Exhaustive global array data flow analysis for communication optimization is expensive and considered to be impractical for large programs. This paper proposes a demand-driven analysis approach that reduces the analysis cost by computing only the data flow information related to optimizations. In addition, the analysis cost of our scheme can be effectively managed by trading space for time or c...
متن کاملSensitivity Analysis of Technology Changes for EnergyDemand by Iranian Economic Sectors: an Application of Sherman-Morrisson Method and Input-Output Approach
We undertook a sensitivity analysis of the key demand factors leading to changes of energy consumption in the competitive market, using a Leontief demand-driven approach. We applied the Leontief model to previous research results to study the most sensitive factors leading to the change of energy demand in different economic sectors. Based on the 2011 Iranian symmetrical input–output table, the...
متن کاملData-Flow Analysis for Hot-Spot Program Optimization
A hot spot of a program is a program region, whose execution time crucially impacts the overall execution time of the program. A hot spot can often be optimized without fully analyzing the whole program. This is supported by approaches for demand-driven data-flow analysis. Particularly successful in practice turned out to be an approach based on reverse data-flow analysis. In this paper, we rec...
متن کاملThe Calculation of the output price vectorby applying reverse linear programming: The novel approach in DEA
In the today’s world wherein every routine is based on economic factors, there is no doubt that theoretical sciences are driven by their capabilities and affordances in terms of economy. As a mathematical tool, data envelopment analysis (DEA) is provided to economics, so that one can investigate associated costs, prices and revenues of economic units. Data Envelopment Analysis (DEA) is a linear...
متن کامل